"查查词典"手机版
千万人都在用的超大词汇词典翻译APP
- 19 goltz u, gorrieri r, rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789, 1994, pp . 385-404.20 aceto l, action refinement in process algebra . cambridge univ
即精化后的系统行为可以由精化前的系统行为和用于替换原系统动作的子系统的行为组合推导出来2同余性。
Last modified time:Tue, 12 Aug 2025 00:29:56 GMT